منابع مشابه
Inheritance as Implicit Coercion
We present a method for providing semantic interpretations for languages with a type system featuring inheritance polymorphism. Our approach is illustrated on an extension of the language Fun of Cardelli and Wegner, which we interpret via a translation into an extended polymorphic lambda calculus. Our goal is to interpret inheritances in Fun via coercion functions which are definable in the tar...
متن کاملModeling Inheritance as Coercion in the Kenzo System
In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance relationship since Kenzo is an object-oriented system, written in CLOS, the Common Lisp Object System. We show how the order-sorted algebraic specification formalism can be adapted, through the “inheritance as coercion” metaphor,...
متن کاملExternal Threat as Coercion
In coercive relations, threats of negative sanctions extract valued positive sanctions from coercees. Only when coercion is direct, however, are the negative sanctions controlled by the coercer who benefits from the threats. Not previously investigated, indirect coercion relies on threats and negative sanctions that are external to the exploitative relation. We suggest that indirect coercion is...
متن کاملImplicit Ordering of Defaults in Inheritance Systems
There is a natural partial ordering of defaults in inheritance systems that resolves ambiguities in an intuitive way. This is not the shortest-path ordering used by most existing inheritance reasoners. The flaws of the shortest-path ordering become apparent when we consider multiple inheritance. We define the correct partial ordering to use in inheritance and show how it applies to semantic net...
متن کاملAspectual Shift as Type Coercion Draft 1
The phenomenon of aspectual shift has been discussed by several people over the last ten years using an analogy with type coercion in programming languages. This paper tries to take the analogy literally and to spell out the details for an analysis of some common kinds of aspectual shift in English under the innuence of some types of temporal modiication. A model theoretic basis for this kind o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1991
ISSN: 0890-5401
DOI: 10.1016/0890-5401(91)90055-7